ZSM-5担持クロム触媒を用いたエタンの脱水素化の膜反応器に関する研究

学位の種別: 課程博士審査委員会委員 : （主査）東京大学教授 S. Ted Oyama, 東京大学教授 堂免 一成, 東京大学教授 迫田 章義, 東京大学教授 辻 佳子, 東京大学准教授 菊地 隆司, 工学院大学准教授 赤松 憲樹University of Tokyo(東京大学

Process Algebraic Approach to the Schedulability Analysis and Workload Abstraction of Hierarchical Real-Time Systems

Real-time embedded systems have increased in complexity. As microprocessors become more powerful, the software complexity of real-time embedded systems has increased steadily. The requirements for increased functionality and adaptability make the development of real-time embedded software complex and error-prone. Component-based design has been widely accepted as a compositional approach to facilitate the design of complex systems. It provides a means for decomposing a complex system into simpler subsystems and composing the subsystems in a hierarchical manner. A system composed of real-time subsystems with hierarchy is called a hierarchical real-time system This paper describes a process algebraic approach to schedulability analysis of hierarchical real-time systems. To facilitate modeling and analyzing hierarchical real-time systems, we conservatively extend an existing process algebraic theory based on ACSR-VP (Algebra of Communicating Shared Resources with Value-Passing) for the schedulability of real-time systems. We explain a method to model a resource model in ACSR-VP which may be partitioned for a subsystem. We also introduce schedulability relation to define the schedulability of hierarchical real-time systems and show that satisfaction checking of the relation is reducible to deadlock checking in ACSR-VP and can be done automatically by the tool support of ERSA (Verification, Execution and Rewrite System for ACSR). With the schedulability relation, we present algorithms for abstracting real-time system workloads

Forecasting Repair Schedule for Building Components Based on Case-Based Reasoning and Fuzzy-AHP

Building maintenance is closely related to the performance and sustainability of buildings. However, existing approaches to maintenance are limited in terms of estimating required repairs. Therefore, this study proposes a case-based reasoning (CBR)-based model for estimating the time when the first repair will be needed after the completion of construction, even in phases where maintenance-related information is scarce. CBR and fuzzy-analytic hierarchy process (AHP) were employed as research methodologies. A database was established by collecting 257 cases related to maintenance of apartment buildings, and attributes were extracted through literature reviews and expert interviews. Then, attributes were weighted by fuzzy-AHP and case similarities were computed by measuring the Euclidean distance. Similar cases were retrieved based on similarity scores. The model was validated via a comparison of 20 randomly selected test cases with the output of retrieved cases. The results showed that the average case similarities of 3-, 5-, 7-, and 10-nearest neighbors (NN) were 98.05%, 97.86%, 97.73%, and 97.59%, respectively, and mean absolute percentage errors for 3-, 5-, 7-, and 10-NN were mostly lower than 20%, confirming the applicability of the proposed model. The proposed method will help in the preliminary estimation of the repair time of building components

Intraoperative Hyperglycemia May Be Associated with an Increased Risk of Myocardial Injury after Non-Cardiac Surgery in Diabetic Patients

Background: Hyperglycemia in surgical candidates is associated with increased mortality and morbidity. We aimed to evaluate the effect of intraoperative blood glucose level on the incidence of myocardial injury after non-cardiac surgery (MINS) in diabetic patients. Methods: Diabetic patients with available intraoperative blood glucose measurement during non-cardiac surgery were enrolled in this study. Based on the highest intraoperative blood glucose level, patients were stratified into two groups: the blood sugar glucose (BST) < 180 group (intraoperative peak glucose < 180 mg/dL) and BST ≥ 180 group (intraoperative peak glucose ≥ 180 mg/dL). The primary outcome was the incidence of MINS, and secondary outcomes were in-hospital and 30-day mortalities. Results: Of the 11,302 diabetic patients, 8337 were in the BST < 180 group (73.8%) and 2965 in the BST ≥ 180 group (26.2%). After adjustment with inverse probability weighting, MINS was significantly higher in the BST ≥ 180 group (24.0% vs. 17.2%; odds ratio (OR), 1.26; 95% confidence interval (CI), 1.14–1.40; p < 0.001). In addition, in-hospital and 30-day mortalities were also higher in the BST ≥ 180 group compared to the BST < 180 group (4.2% vs. 2.3%, hazard ratio (HR), 1.39; 95% CI, 1.07–1.81; p = 0.001, and 3.1% vs. 1.8%; HR, 1.76; 95% CI, 1.31–2.36; p < 0.001, respectively). Receiver-operating characteristic plots showed that the threshold of glucose level associated with MINS was 149 mg/dL. Conclusion: Intraoperative hyperglycemia was associated with an increased MINS incidence and postoperative mortality in diabetic patients. Close monitoring of intraoperative blood glucose level may be helpful in detection and management of MINS

MOESM1 of Comparative genomic analysis reveals genetic features related to the virulence of Bacillus cereus FORC_013

Additional file 1. Additional Tables and Figures

Association between Intraoperative Hyperlactatemia and Myocardial Injury after Noncardiac Surgery

Background: Oxygen demand–supply mismatch is supposed to be one of the major causes of myocardial injuries after noncardiac surgery (MINS). Impaired tissue oxygenation during the surgery can lead to intraoperative hyperlactatemia. Therefore, we aimed to evaluate the relationship between intraoperative lactate level and MINS. Methods: A total of 1905 patients divided into groups according to intraoperative hyperlactatemia: 1444 patients (75.8%) into normal (≤2.2 mmol/L) and 461 patients (24.2%) into hyperlactatemia (>2.2 mmol/L) groups. The primary outcome was the incidence of MINS, and all-cause mortality within 30 days was compared. Results: In the crude population, the risks for MINS and 30-day mortality were higher for the hyperlactatemia group than the normal group (17.7% vs. 37.7%, odds ratio [OR]: 2.83, 95% confidence interval [CI]: 2.24–3.56, p < 0.001 and 0.8% vs. 4.8%, hazard ratio [HR]: 5.86, 95% CI: 2.9–12.84, p < 0.001, respectively). In 365 propensity score-matched pairs, intraoperative hyperlactatemia was consistently associated with MINS and 30-day mortality (21.6% vs. 31.8%, OR: 1.69, 95% CI: 1.21–1.36, p = 0.002 and 1.1% vs. 3.8%, HR: 3.55, 95% CI: 1.71–10.79, p < 0.03, respectively). Conclusion: Intraoperative lactate elevation was associated with a higher incidence of MINS and 30-day mortality

Physical and Functional Interactions of <i>Caenorhabditis elegans</i> WRN-1 Helicase with RPA-1

The <i>Caenorhabditis elegans</i> Werner syndrome protein, WRN-1, a member of the RecQ helicase family, has a 3′–5′ DNA helicase activity. Worms with defective <i>wrn-1</i> exhibit premature aging phenotypes and an increased level of genome instability. In response to DNA damage, WRN-1 participates in the initial stages of checkpoint activation in concert with <i>C. elegans</i> replication protein A (RPA-1). WRN-1 helicase is stimulated by RPA-1 on long DNA duplex substrates. However, the mechanism by which RPA-1 stimulates DNA unwinding and the function of the WRN-1–RPA-1 interaction are not clearly understood. We have found that WRN-1 physically interacts with two RPA-1 subunits, CeRPA73 and CeRPA32; however, full-length WRN-1 helicase activity is stimulated by only the CeRPA73 subunit, while the WRN-1_162–1056 fragment that harbors the helicase activity requires both the CeRPA73 and CeRPA32 subunits for the stimulation. We also found that the CeRPA73_1–464 fragment can stimulate WRN-1 helicase activity and that residues 335–464 of CeRPA73 are important for physical interaction with WRN-1. Because CeRPA73 and the CeRPA73_1–464 fragment are able to bind single-stranded DNA (ssDNA), the stimulation of WRN-1 helicase by RPA-1 is most likely due to the ssDNA binding activity of CeRPA73 and the direct interaction of WRN-1 and CeRPA73

MOESM4 of Complete genome of Vibrio parahaemolyticus FORC014 isolated from the toothfish

Additional file 4. Virulence factors of V. parahaemolyticus FORC_014

MOESM1 of Complete genome of Vibrio parahaemolyticus FORC014 isolated from the toothfish

Additional file 1. Summary of V. parahaemolyticus FORC_014 genome